Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
101	CHAPTER VI. Dr. Benjamin Haskell and His Descendants.— Lydia Freeman, His Second Wife, and Her Ancestry. Carelessness on the part of the writer in reading proof of the preceding chapter, caused Add to Reading List Source URL: www.westbrookhistoricalsociety.org Language: English - Date: 2009-10-31 21:59:20 Software engineering Programming language theory Computer programming Haskell Westbrook Maine
102	2015 IEEE Symposium on Security and Privacy ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data Michael Backes Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2015-05-11 16:43:12 Graph theory Cryptography Zero-knowledge proof Non-interactive zero-knowledge proof Snark Proof of knowledge IP Mathematical proof
103	Type theory and proof assistants 21 January 2009, 15.30–17.30 This test has 15 exercises, and each exercise is worth 6 points. The first 10 points are free, and the final mark is the number of points divided by ten. Go Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-12 07:22:28 Type theory Mathematical logic Theoretical computer science Lambda calculus Mathematics CurryHoward correspondence Dependent type Church encoding System F Simply typed lambda calculus Natural deduction Combinatory logic
104	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski Add to Reading List Source URL: mizar.uwb.edu.pl Language: English - Date: 2016-07-29 01:16:07 Logic Mathematical logic Predicate logic Abstraction Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar
105	Sound Proof of Proximity of Knowledge Serge Vaudenay ÉCOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE Add to Reading List Source URL: security-lab.jaist.ac.jp Language: English - Date: 2015-11-22 02:25:24 Cryptography IP Distance-bounding protocol Challengeresponse authentication Computational complexity theory Interactive proof system
106	ON THE EXCEPTIONAL FIBRES OF KLEINIAN SINGULARITIES WILLIAM CRAWLEY-BOEVEY Abstract. We give a new proof, avoiding case-by-case analysis, of a theorem of Y. Ito and I. Nakamura which provides a module-theoretic interpret Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2012-04-25 08:05:42 Algebra Abstract algebra Mathematics Module theory Homological algebra Representation theory Commutative algebra Ring theory Injective module Simple module Quiver Resolution
107	Correction to: The p-order of topological triangulated categories Journal of Topology), 868–914 Stefan Schwede Zhi-Wei Li has pointed out a gap in the proof of Proposition A.4 and a missing argument in Proposit Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2015-04-16 03:43:13 Homotopy theory Mathematics Cofibration Fibration Weak equivalence Generalised Whitehead product CurryHoward correspondence
108	FoCaLiZe! Programming and Proving! A Bit Under the Hood François Pessaux - ENSTA ParisTech (U2IS) Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-04-14 11:22:28 Software engineering Computer programming Programming language theory Functional languages Functional programming Procedural programming languages Mathematical proof Coq OCaml Natural deduction Mathematical logic ALGOL 68
109	A Tactic Language for Hiproofs David Aspinall1 , Ewen Denney2 , and Christoph L¨ uth3 1 3 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Logic Mathematical logic Proof theory Mathematics Logic in computer science Deductive reasoning Natural deduction Sequent Denotational semantics Propositional calculus Sheaf
110	Sutra: International Journal of Mathematical Science Education © Technomathematics Research Foundation Vol. 3, No. 1, pp 43 – 52, 2010 Add to Reading List Source URL: www.tmrfindia.org Language: English - Date: 2010-03-21 07:11:47 Constructible universe Mathematical analysis Probability distributions Operator theory Theoretical physics Proof theory Mathematics Generalised Whitehead product Table of stars with Bayer designations

UPDATE